home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / mosmllib / test / stringcvt.sml < prev    next >
Encoding:
Text File  |  1996-07-03  |  630 b   |  25 lines  |  [TEXT/R*ch]

  1. (* test/stringcvt.sml -- sketch *)
  2.  
  3. use "auxil.sml";
  4.  
  5. local 
  6.     open StringCvt
  7. in
  8.  
  9. val test1 = 
  10.     check'(fn _ =>
  11.        padLeft #"#" 0 "abcdef" = "abcdef"
  12.        andalso padLeft #"#" 6 "abcdef" = "abcdef"
  13.        andalso padLeft #"#" 7 "abcdef" = "#abcdef"
  14.        andalso padLeft #"#" 10 "abcdef" = "####abcdef"
  15.        andalso padLeft #"#" ~3 "abcdef" = "abcdef");
  16.  
  17. val test2 = 
  18.     check'(fn _ =>
  19.        padRight #"#" 0 "abcdef" = "abcdef"
  20.        andalso padRight #"#" 6 "abcdef" = "abcdef"
  21.        andalso padRight #"#" 7 "abcdef" = "abcdef#"
  22.        andalso padRight #"#" 10 "abcdef" = "abcdef####"
  23.        andalso padRight #"#" ~3 "abcdef" = "abcdef");
  24. end
  25.